#include <stdio.h>
int main(int argc, char* argv[]) {
   printf("%s:", argv[0]);
   printf(" called with %d args\n", argc-1);
   return 0;
}
